body   {
  margin: 0;
  padding: 0;
  font-family: Verdana, Helvetica, Arial, sans-serif;
  font-size: 11px;
  background-color: #fff;
}

div.container {
  margin: 4px;
}

div.status {
  border: 1px solid gray;
  margin-bottom: 2px;
  min-height: 1.5em;
  height: 1.5em;
  overflow: hidden;
}

ul {
  list-style: none;
  margin: 0;
  margin-left: 1em;
  padding: 0;
  border: none;
}

li {
  padding: 0;
  line-height: 15px;
}

.status ul li {
  float: left;
  margin-right: 2em;
}

.clear {
  clear: both;
}

#testframe.small {
  height: 500px;
}

#testframe {
  border: 1px solid lime;
  width: 800px;
  /* XXX
  height: 1000px; */
  height: 500px;
}

#messages {
  background-color: lightBlue;
  height: 20em;
  width: 800px;
  border: thin dashed olive;
  overflow: auto;
}

.invisible {
  display: none;
}
